Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
121	Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:40:44 Ω-automaton Finite-state machine Papyrus 1 Automata theory Models of computation Symbol
122	Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:37:30 Symbol Finite-state machine Deterministic automaton Ω-automaton Automata theory Theoretical computer science Computer science
123	Learning probabilistic finite automata Colin de la Higuera University of Nantes Nantes, November 2013 Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2013-11-27 05:21:00 Nondeterministic finite automaton France Automata theory Probabilistic automaton University of Nantes
124	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton
125	Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe\|finkbeiner}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:05 Applied mathematics Ω-automaton Finite-state machine Scheduling Tree automaton Alternating finite automaton Powerset construction Automata theory Theoretical computer science Computer science
126	Satisability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-04-30 04:31:43 Æ Ω-automaton Linguistics Notation Automata theory Centimetre–gram–second system of units Metrology
127	Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:26:51 Büchi automaton Automata theory Models of computation Deterministic finite automaton
128	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
129	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation
130	JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Computer science Software engineering Deterministic finite automaton Nondeterministic finite automaton Symbol Counterexample Regular expression Automata theory Models of computation Theoretical computer science

UPDATE